description n. 1.记述,叙述,描写;记载。 2.叙事文;(物品)说明书;相貌说明书。 3.种类。 4.作图;绘制。 a man answering (to) that description 和相貌说明书符合的人。 pencils of every description 各种铅笔。 persons of that description 那一类人。 a speech of the poorest description 内容平淡到极点的演说。 beyond description 难以形容。 give [make] a description of 叙述…的样子;说明。 the description of a circle 画圆圈。
logic n. 1.逻辑,理论学。 2.推理[方法];逻辑性,条理性。 3. 威力,压力,强制(力)。 deductive [inductive] logic演绎[归纳]逻辑。 dialectical logic辩证逻辑。 formal logic形式逻辑。 a gangster logic强盗逻辑,恶徒的歪理[言行]。 mathematical logic数理逻辑。 pure logic纯粹逻辑。 He is not governed by logic. 他没有逻辑性。 That is not logic. 那不合逻辑。 the irresistible logic of facts 事实的不可抗拒的威力。 the logic of events [war] 事件[战争]的强制力。 His logic is shaky. 他的推理站不住脚。 chop logic 诡辩。
Product similarity reasoning : a description logic approach 一种描述逻辑的方法
Daml oil , description logic dl 描述逻辑等
Description logic survey 描述逻辑综述
35 ian horrocks , peter f patel - schneider . reducing owl entailment to description logic satisfiability . in proc 该方法支持静态知识,动态过程和运行机制的有效的表示和推理。
An extended fuzzy description logic is proposed to increase expressive power for complex fuzzy information 摘要为了提高对复杂模糊信息的表示能力,提出一种扩展的模糊描述逻辑。
Daml oil : a description logic for the semantic web . bull . the ieee computer society technical committee on data engineering , 2002 , 25 : 4 - 9 针对目前的描述逻辑无法表示动态服务的推理功能,史忠植等人提出了动态描述逻辑ddl 。
Comparing to the reasoning mechanism in concept language and description logic , a ~ ( h ) improves the efficiency of semantic matching between agent capabilities 相比于概念语言和描述逻辑中的推理机制, a ~ h提高了主体能力语义匹配的效率。
The definitions of syntax structure , semantic interpretation , knowledge base form and reasoning problems based on satisfiability are given for the extended fuzzy description logic 定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题。
The workshop on applications of description logics ki 01 , vienna , austria , 2001 , pp . 12 - 24 . 23 caragea d , syeda - mahmood t . semantic api matching for automatic service composition 通过实验可以看出,语义服务匹配算法在精度上要优于基线服务匹配算法,而且可以有效的提供服务排序结果,便于用户区分服务。
Concept classification and frame expression . by comparing the frame expression and logic expression , we adopt description logic for automatically classify the concepts during knowledge navigation 通过对本体的框架表示和逻辑表示进行比较分析,提出用本体的描述逻辑表达来解决知识导航过程中概念的自动分类问题。
Description logic (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first-order predicate logic.